Le 25 juillet 1957 à 3h30, la tête du chahid Badèche Benhamdi tombait sous le couperet de la guillotine, actionnée…