quelle est la définition de divers