Elle est pas forcément surjective : chaque réel a un nombre fini et pair d'antécédents, donc éventuellement zéro antécédent...