Source: https://www.slhp-raa.fr/progs/UploadPci/guerre_algerie_policiers_tues.pdf