Hernâni António Cidade : un héros portugais de la Grande Guerre, entre bravoure militaire et grandeur intellectuelle