Comment modifier les paramètres du système de réservation ?

Les paramètres par défaut du système de réservation sont les suivants :

• Les créneaux horaires durent 2 heures
• Les autres utilisateurs ne peuvent pas démarrer la machine dans les 30 minutes précédant une réservation.
• Entre 30 et 45 minutes avant la réservation, il est demandé aux autres utilisateurs de ne pas lancer un programme qui ne se terminerait pas avant celle-ci.
• Les utilisateurs ne peuvent avoir que 2 réservations à venir par machine.
• Les créneaux horaires commencent à 06.00 et se terminent à 22.00
• La machine sera accessible à tous les utilisateurs si elle n’a pas été démarrée dans les 15 premières minutes du créneau.

Tous ces paramètres peuvent être modifiés pour l’emplacement sous « paramètres » sur la page de l’emplacement. Si vous souhaitez appliquer des paramètres différents à certaines machines, vous pouvez également les définir sur l’appareil sous « paramètres de l’appareil ».

Mis à jour le : 26/08/2026