Indécidabilité dans un langage enrichi de corps de séries formelles en caractéristique positive — Yamina Rouani