Synonymessterne pierregarin