text/x-matita *.ma (* *)