<?php
    $nom_fichier = 'utilisateur.txt';
    $nom_fichier2 = $nom_fichier . '.tmp';
    $result