<https://forums-enseignants-du-primaire.com/topic/183730-sur-lensemble-des-nombbres-r-irrationnels/#comment-3430137>
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://forums-enseignants-du-primaire.com/topic/183730-sur-lensemble-des-nombbres-r-irrationnels/>