Nos outils de date et d'heure reposent sur le calendrier grégorien proleptique, la règle de Zeller pour le jour de la semaine et la norme ISO 8601 pour la représentation et la numérotation des semaines. Cette page documente les formules appliquées, les standards suivis et les cas particuliers (jours bissextiles, secondes intercalaires, passages à l'heure d'été, conventions locales de numérotation des jours) que nous traitons explicitement afin que les résultats restent reproductibles et vérifiables.
Une année est bissextile si elle est divisible par 4, sauf les années séculaires qui doivent également être divisibles par 400. Ainsi, 2000 est bissextile, mais 1900 et 2100 ne le sont pas. Nous appliquons cette règle de manière proleptique, c'est-à-dire que nous l'étendons en amont de 1582 afin d'obtenir une arithmétique cohérente sur de longues plages de dates.
Pour faire correspondre une date grégorienne à un jour de la semaine sans itérer, nous utilisons la congruence de Zeller : h = (q + floor(13(m+1)/5) + K + floor(K/4) + floor(J/4) + 5J) mod 7, où janvier et février sont traités comme les mois 13 et 14 de l'année précédente. Le résultat est ensuite normalisé selon la numérotation ISO des jours, où lundi est 1 et dimanche est 7.
Nous affichons les dates canoniques au format AAAA-MM-JJ et les dates-heures combinées au format AAAA-MM-JJTHH:MM:SS avec un décalage explicite (Z pour UTC, ±HH:MM sinon). Ce format est non ambigu entre locales, se trie lexicographiquement dans l'ordre chronologique et correspond au format que la plupart des API et bases de données stockent nativement.
Les jours ouvrés excluent samedi et dimanche. Nous laissons les utilisateurs exclure facultativement une liste de jours fériés, appliquée après le filtrage des week-ends. Pour les plages couvrant plusieurs mois ou plusieurs années, nous comptons en itérant des semaines entières plus un reste, afin que les longues plages restent en O(1) par calcul plutôt que de parcourir chaque jour.
Les semaines ISO commencent le lundi et la semaine 1 d'une année est celle qui contient le premier jeudi (autrement dit la semaine qui contient le 4 janvier). Les années comportent donc 52 ou 53 semaines ISO, et les premiers ou derniers jours d'une année grégorienne peuvent appartenir à une année-semaine ISO adjacente. Nous étiquetons ces dates AAAA-Www-J en utilisant l'année-semaine ISO, et non l'année calendaire.
Tous les instants sont stockés en UTC. UTC est maintenu par le BIPM en coopération avec les laboratoires nationaux de métrologie du temps, et les secondes intercalaires sont annoncées par le Bulletin C de l'IERS lorsqu'il faut maintenir UTC à moins de 0,9 seconde de UT1. Nos calculs de durée supposent 86 400 secondes SI par jour et n'insèrent pas de secondes intercalaires, ce qui correspond au comportement du temps POSIX et de la plupart des systèmes d'exploitation.
La logique calendaire est couverte par des tests unitaires qui incluent les années bissextiles (1900, 2000, 2024), les bordures d'années-semaines ISO (29 décembre au 3 janvier) et les jours de transition à l'heure d'été dans les deux hémisphères. Lorsque l'IERS annonce une nouvelle seconde intercalaire, nous mettons à jour la documentation interne mais laissons l'arithmétique UTC inchangée, car les attentes des utilisateurs concernant les jours et heures écoulés correspondent au modèle POSIX. Nous revérifions cette page de méthodologie après chaque amendement à l'ISO 8601 et au minimum une fois par année calendaire.
