École militaire : plan selon le projet d'Ange Jacques Gabriel en 1751