une fonction est injective