Qui était Larbi Ben M’hidi, vénéré en Algérie et dont l’Élysée vient d’admettre officiellement qu’il fut assassiné par l’armée française en 1957 à Alger ?