text: Merci pour la note. Il faudrait donc augmenter cette zone là : https://www.openstreetmap.org/way/270397454 en la fusionnant avec celle-ci : https://www.openstreetmap.org/way/455302665 Ou alors vaut-il mieux laisser ce dernier polygone (« Ensimag site Ampère ») à part ?
  
  Pour les amphis, faut-il juste renommer le bâtiment en « Amphis » ou « Amphi D » est-elle correcte ?