https://123dok.net/document/zx56em3n-produit-réglés-montrer-nombres-rationnels-nécessairement-distincts-intervalle.html