Source: https://www.bouches-du-rhone.gouv.fr/content/download/2027/12019/file/La guerre d'Indochine.pdf