Le ?Roethéorème de préparation?R de L. van den Dries et P. Speissegger affirme que les fonctions définissables dans les structures o-minimales polynomialement bornées admettent une forme factorisée. Dans le cas des structures engendrées par des algèbres quasianalytiques de fonctions réelles, nous montrons que cette factorisation admet une écriture explicite. Nous en déduisons un théorème d’élimination des quantificateurs dans ce cadre, dans l’esprit du théorème d’élimination démontré par J. Denef et L. van den Dries dans le cadre analytique.
- Séminaire Géométrie et théorie des modèles