Conteneurs de première classe en Coq First-Class Containers in Coq

We present a Coq library for finite sets and maps which brings the same function- alities as the existing FSets/FMaps library, but uses type-classes instead of modules in order to ensure the genericity of the proposed data structures. This architecture facilitates the use of these data structures and more generally the implementation of complex algorithms in Coq.