The logic of approximation in quantum theory

Etude de propositions quantiques exprimees dans une logique de l'approximation. L'A. etudie les proprietes de ces propositions en relation a un predicat d'accessibilite modale qui reduit une metrique sur l'ensemble d'etats du systeme mecanique. Cette logique est enfin mise en relation avec des calculs de logique quantique. Pour conclure, l'A. discute diverses applications a la theorie des probabilites et a la formulation de la mecanique quantique en termes d'espaces de Hilbert.