Merci ! Mais je me demande néanmoins si je n'ai pas fait une bêtise, car le bâtiment avait disparu complètement sur le rendu par défaut, mais aussi sur comaps et sur tous les styles de cartes.app. J'avais essayé d'identifier une partie du bâtiment comme le CIC-IT (https://www.cic-it-nancy.fr/fr/). J'ai dû faire quelque chose qui ne va pas en le traçant, car le polygone qui définit l'IRIS fait apparaître une ligne entre l'IRIS et le CIC-IT qui ne devrait pas être là. J'ai cherché dans l'historique de ce que j'ai fait, et fouillé un peu la géométrie de l'IRIS, mais cela dépasse mes compétences en OSM.