Ernerto Pastor Lavergne (n.