Extension de la halle pour le bassin océanique de l'Ecole centrale