Gervasio é um nome masculino, que embora acredita-se que ele é de origem grega, tudo indica que, na verdade, sua origem é espanhola.