«Numero reale» su tedesco con traduzione parallela