-- -- Cet acteur permet d'accéder à la liste des communes françaises de plusieurs départements. -- (Les départements 31 à 50) -- package Villes is -- Chaque ville est identifée par un numéro -- La numérotation va de 1 à N (nombre de villes) -- Nombre de villes présentes dans la liste (plus de 7000) function Nb_Villes return Integer ; -- Renvoie le nom de la ville dont on fournit le numéro function Denomination (No : Integer) return String ; -- Fiche d'information pour chaque ville type T_Fiche is record -- Numéro de département Departement : Integer ; Code_Postal : Integer ; -- Population en 2010 Pop2010 : Integer ; -- Population en 1999 Pop1999 : Integer ; -- Surface de la commune (en km2) Surface : Float ; -- Coordonnées Longitude : Float ; Latitude : Float ; -- Altitude du point le plus bas de la commune Alt_Bas : Integer ; -- Altitude du point le plus haut de la commune Alt_Haute : Integer ; end record ; -- Renvoie la fiche de la ville dont on fournit le numéro function Fiche_Ville(No : Integer) return T_Fiche ; end Villes ;