$RTX n'est-ce pas un contrat ?