Soit x un nombre réel vérifiant -5