Mauri puede ser el diminutivo del nombre Mauricio: