Myriam Clouet: Langage de spécification et outil de vérification pour le consentement et la nécessité des données fondés sur une classification relative au respect de la vie privée. (Specification language and verification tool for consent and data necessity based on a classification related to privacy compliance). University of Paris-Saclay, France 2024