IDEFIX/ARIANE 42P - AllMySat catalog