dans la RFC, indiquer si le temps commence à 0 ou à 1 indiquer si l'index de la machine commence à 0 ou à 1