La licence du Prover Polaris