Revert "Revert "Version finie""

This reverts commit ff49e2b0dbc9015e423e2376352492434e3752f3.