Décès de Jean-Louis Crémieux-Brilhac (1917-2015)