Mentions légales du service
Please add documentation as why3doc comments in stdlib/mach/tagset.mlw
stdlib/mach/tagset.mlw