Idris: informações sobre o nome

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