Revert "Version finie"

This reverts commit 7968a56e71549422cc6dedec0ebe64004aed9a6c.