François Mitterrand et la guerre d'Algérie