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