Preuves interactives quantiques by Hugue Blier