L'Opération Indochine.