Source: https://www.quesaisje.com/content/La_Guerre_dAlg%C3%A9rie.pdf