Title: Extensions décidables et indécidables de la théorie monadique du deuxième ordre de deux fonctions de successeur