DEFINITION MODULE Commande; FROM GroupMac IMPORT ExtNum, Groupe; PROCEDURE BalayageComplet (G : Groupe) : ExtNum; (* Patrouille la ligne de 1 a N, puis de N a 1, etc., en reparant *) (* les machines brisees que l'on rencontre. *) PROCEDURE PlusPres (G : Groupe) : ExtNum; (* Si toutes les machines fonctionnent, on va vers le centre puis on *) (* attend, sinon on va vers la machine brisee la plus pres. *) (* En cas d'egalite, on s'eloigne d'abord du centre. *) END Commande.