La journée de mardi pourrait être écourtée d’une milliseconde, faisant du 5 août le jour le plus court de l’année.