Agência para a Energia, ADENE (nome próprio)