Creation du fichier de librairie mylib.php