https://123dok.net/document/yj7v76em-exercice-traduction-expressions-rationnelles-exercice-suppose-σ.html