bicontinu (A) — continu (A)
bicontinu : Continu, bijectif et d'inverse continue.