Don des archives de Jules Antoine à la Médiathèque de l'architecture et du patrimoine