[LG]declaration ensemble et test d'inclusion

Version imprimable