École polytechnique — France. Ministère de la défense