Gideão: informações sobre o nome

Gideão é um nome masculino. Abaixo está o que já documentamos.