RTP Morreu o general António Martins Barrento
O general António Martins Barrento foi chefe do Estado-Maior do Exército. Tinha 87 anos
O general António Martins Barrento foi chefe do Estado-Maior do Exército. Tinha 87 anos