ajout de la version fonctionnel des boosts : correction of boost decrementation