« Ici on noie des Algériens ! » Retour sur l'élimination des « Français musulmans d'Algérie », en métropole, pendant la guerre d'Algérie