Décès du colonel Bernard Demolins, Compagnon de la Libération