Algorithm for inductive computation of loops done, up to bug detection (still a lot of testing to do). To ensure that everthing is still fine, I commented the two commands that activate the new code. Once finished, I need to design three algorithms, and then loop management will be working.