Ancien chef d'état-major des armées, le général Jean-Louis Georgelin nous a quittés