Aucune imagerie ne montre de "bâtiment" à cet endroit, on distingue clairement un mur d'enceinte mais pas de construction ici. Le "toit" est toujours existant sur le cadastre, je l'ai retiré sur OSM avec https://www.openstreetmap.org/changeset/142991604