Procédé d'accélération de l'exécution d'un programme à chemin unique par exécution en parallèle de séquences conditionnellement concurrente