une application est injective