"La bataille d'Alger", de Gillo Pontecorvo