Casting de Darlan, le troisième homme de Vichy