Conception de systèmes sûrs de fonctionnement par allocation d'instruments sous contrainte de sûreté de fonctionnement et sous critère de coût.