Provenance classe : reformulation, donne aussi les inconnues