* -12 est l'antécédent de 12 par la fonction h.