Taxa named by Richard Eugene Petit