Décès du général Jean Compagnon, figure de la 2e DB