https://123dok.net/document/y8g7d8p0-démonstration-équivalence-résultats-algorithmes-accélérés-algorithme-base-cah.html