Note

b Nom d’origine angolaise, que donnaient autrefois les Africains aux Portugais, appliqué affectueusement aux constructeurs de Brasilia.