BUT2/Math/dichotomie.txt~