Définitionsreprovincialiser