Mentions légales du service
> why3 execute empty.mlw --use int.ComputerDivision "div 1 0" result: int = 0 globals: