Colloque | Indiscernibility & abstraction : classification and types