Si f de R dans lui-même est continue, surjective et si tout réel possède au plus deux antécédents, alors f est une bijection !