Abstract (FR)

Nous considérons des mécanismes pour le problème du bureaucrate paresseux. Des agents, responsables d'une tâche doivent communiquer la durée de leur tâche à un ordonnanceur. Son objectif est de sélectionner un sous ensemble de tâches maximal pour l'inclusion, dont la durée totale n'excède pas son budget et est minimum. Nous nous intéressons aux mécanismes à véracité garantie, pour lesquels les agents n'ont pas intérêt à mentir sur la durée de leurs tâches afin d'appartenir à l'ensemble des tâches sélectionnées.