Système d'automate programmable redondant