Roger Vétillard, Sétif, mai 1945 : massacres en Algérie - commentaires