Le général Lecointre, chef d'état-major des armées, tire sa révérence