Update contrat.txt