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