is_minimal, is_superkey et get_key arrangé grace à get_closure