Abstract FR:

La theorie analytique etudiee propose une solution aux equations du mouvement du satellite artificiel perturbe par le champ gravitationnel terrestre. Elle est formee de trois transformations canoniques pour eliminer les variations periodiques a courtes et longues periodes de la fonction hamiltonienne. Grace au calcul formel, on peut automatiser le calcul de ces transformations (methode de deprit), pour peu que l'on dispose d'un manipulateur de series de poisson et de fonctions de calcul differentiel. Le systeme de calcul formel scratchpad, muni d'un domaine pour representer les sommes trigonometriques, nous permet d'aboutir aux formules associees au probleme principal ou au probleme du j2-j6. Au moyen d'un generateur de code fortran construit pour cette application, nous obtenons les divers sous-programmes realisant l'evaluation numerique. Ces programmes de prediction d'orbite correspondent a un modele plus ou moins fin du geopotentiel. Ils sont valides au cnes par comparaison avec un integrateur numerique, et au vu de leur excellente precision, sont desormais integres dans la bibliotheque de mecanique spatiale mslib du cnes