The Setif Massacres, a certain May 8, 1945