Décès de Robert Galley, Compagnon de la Libération