725.7
: Restaurants, parcs de loisirs, piscines
725 Edifices d'usage public 725.1 Edifices officiels : mairies, postes, ambassades 725.2 Edifices commerciaux 725.3 Gares, aérogares, hangars 725.4 Edifices industriels 725.5 Hôpitaux, hospices, équipements de santé 725.6 Prisons 725.8 Equipements de loisirs : salles de concert, de théâtre, gymnases 725.9 Autres édifices 725.98 Ponts, tunnels, arches, tours
|