J. PITRAT Implementation of a reflective system. Le système MACISTE est réflexif, car il se sert de métaconnaissances pour utiliser ces métaconnaissances elles- mêmes. En particulier, il compile à l'aide de métaconnaissances toutes ses propres connaissances et métaconnaissances. Comme les métaconnaissances sont elles aussi données sous forme déclarative, il est nécessaire d'amorcer le système en lui don­ nant ses métaconnaissances sous une forme de plus en plus déclarative. Il existe une autre sorte de réflexivité, car MACISTE peut observer son propre comportement de telle sorte qu'il peut s'améliorer quand il y détecte des erreurs ou des in­ efficacités. Quoique le but principal du système soit de s'améliorer à l'aide de lui-même, il a été utilisé pour définir les métaconnaissances nécessaires pour un résolveur général de problèmes et pour un démonstrateur général de théorèmes. MACISTE is a reflective system that uses metaknowledge to use this metaknowledege itself. In particular, metaknowledge com­ piles knowledge and metaknowledge. As all metaknowledge is given in a declarative way, we bootstrap the system so that one can give it metaknowledge in a more and more declarative form. There is another kind of reflectivity: MACISTE can observe its own be­ havior so that it will be able to improve it if it detects some errors or inefficiencies. Although its main goal is to improve itself, it has been used to define metaknowledge for a general problem-solver and for a general theorem-prover.