Faltam quatro mil militares da GNR em Portugal