Supervision informatique bancaire : raisonner à partir de l'horloge du régulateur