# pilote_automatique.ads

    package Pilote_Automatique is

       -- Fait décoller l'avion, à condition
       --   1 - d'être au début de la piste
       --   2 - d'avoir l'autorisation de décollage
       --   3 - que les réacteurs soient réglés sur force 8
       --
       -- À la fin de la procédure, l'avion est à l'altitude de vol.
       procedure Decoller ;

       -- Fait atterrir l'avion, à condition
       --   1 - d'être en approche de l'aéroport de destination
       --   2 - d'avoir l'autorisation d'atterrissage
       --   3 - que les réacteurs soient réglés sur force 3
       --   4 - que le train d'atterrissage soit sorti
       --
       --   À la fin de la procédure, l'avion est arrêté en fin de piste.
       procedure Atterrir ;

    end Pilote_Automatique ;