ajout de quelque modif à User.php