Processeur d'Automate Redondant