System F - testo con traduzione