Source: https://fr.wikipedia.org/wiki/Guerre_d%27Alg%C3%A9rie.pdf