[Paris : Ecole Polytechnique, partie ouest. Le réfectoire et l\'ancienne bibliothèque du collège de Navarre]