Contribution à la formalisation de la sécurité opérationnelle