Quelques commandes pour resynchroniser un serveur Linux qui se serait perdu dans le temps. (signe que le service NTP ne fonctionne pas)