Agents utilisateurs pour la protection des données personnelles : modélisation logique et outils informatiques