Décret n° 80-727 du 14 juillet 1980 déclarant d'utilité publique le projet de construction d'un stade de 60 000 places au quartier de Grand-Médina, route de l'Aéroport à Dakar, prescrivant l'immatriculation au nom de État des terrains du domaine national, Inclus dans le périmètre du projet et désignant les immeubles immatriculés également' nécessaires à la réalisation du projet