Mentions légales du service
Coq realization for int.Power (mostly to keep Coq proofs that were in power.mlw)