Créno.

// Pour chaque plage d'ouverture du jour (ex. 9h-12h, puis 14h-19h)
for (OpeningRange range : ranges) {
    // Instants absolus : un jour de changement d'heure dure 23 h ou 25 h
    Instant rangeEnd = date.atTime(range.closesAt()).atZone(zone).toInstant();
    Instant start = date.atTime(range.opensAt()).atZone(zone).toInstant();
    while (!start.plus(serviceDuration).isAfter(rangeEnd)) {
        Instant end = start.plus(serviceDuration);
        if (!start.isBefore(notBefore) && isFree(start, end, busy)) slots.add(…);
        start = start.plus(step); // pas de 15 minutes
    }
}

-- Garde-fou ultime : deux RDV actifs ne peuvent jamais se chevaucher,
-- même quand deux requêtes arrivent au même instant.
CONSTRAINT ex_appointments_no_overlap EXCLUDE USING gist (
    tstzrange(start_at, end_at, '[)') WITH &&
) WHERE (status = 'BOOKED')

# Pendant le build : on démarre l'appli une fois, sans base de données,
# et la JVM enregistre toutes les classes chargées dans app.jsa
RUN java -XX:ArchiveClassesAtExit=app.jsa \
      -Dspring.context.exit=onRefresh -jar creno.jar

# Au lancement réel, la JVM relit l'archive au lieu de tout recharger
ENV JAVA_TOOL_OPTIONS="-XX:TieredStopAtLevel=1 -XX:+UseSerialGC"
ENTRYPOINT ["java", "-XX:SharedArchiveFile=app.jsa", "-jar", "creno.jar"]