La révision des croyances est une opération visant à modifier d'anciennes croyances afin qu'elles deviennent cohérentes avec de nouvelles croyances. La problématique de la révision des croyances a été étudiée dans divers formalismes, en particulier dans les algèbres qualitatives (AQ), dans lesquelles le résultat est une disjonction de bases de croyances, qui ne sont pas nécessairement représentables dans une AQ. Cela motive l'étude de la révision des croyances dans les clôtures propositionnelles des AQ, dans lesquels le résultat de la révision est représentable. Cette propriété rend possible la définition d'un opérateur de contraction, en s'appuyant sur l'identité de Harper. La révision des croyances dans les clôtures propositionnelles d'AQ est étudiée, un algorithme pour une famille d'opérateurs de révision dans ces formalismes est présenté et une implantation gratuite, avec code source ouvert et disponible sur la toile est décrite.