France : décès de Jean-Louis Crémieux-Brilhac