Synonymesaxe des réels