Revert "Merge remote-tracking branch 'corentin/master' into crc_update"

This reverts commit 1836fd096b0d6a7f536399dc76837620eafde59d, reversing
changes made to d5527296c35eec68965a8a6f107615d106469b40.