Les bois de l'Aube avaient-ils servi à bâtir Notre-Dame ?