François Mitterrand et la guerre d'Algérie — Benjamin Stora, François Malye