(PHP 3, PHP 4 )
int gmmktime (int hour, int minute, int second, int month, int day, int year [, int is_dst])
int gmmktime
Identique à mktime() hormis le fait que les paramètres passés sont GMT.