redangel (./13460) :
encore que j'ai l'impression que tu mélanges sommeil et courses sans que je comprenne trop le rapport mais admettons

Je pars du principe que je vais dans la plupart des cas me lever à la même heure solaire quelle que soit l'heure officielle, donc comme je dors lors de l'ouverture des magasins et pas lors de leur fermeture, l'intersection entre mon uptime et l'ouverture des magasins est plus courte d'une heure avec l'heure d'été.

Je suis levé de t₁ [+01:00] à t₂ [+01:00]. Entretemps, les magasins ferment à t [Europe/Vienna]. J'ai donc entre t₁ [+01:00] et t [Europe/Vienna] pour faire mes courses. Si [Europe/Vienna] = [+01:00], j'ai t-t₁ heures, si [Europe/Vienna] = [+02:00], j'ai seulement t-t₁-1 heures.