remplacement de la bibliotheque mysql par mysqli du fait de sa deprecation depuis PHP 5.5