Étude de cas : sécurisation fonctionnelle d’un système de rabotage