Chamava-se-lhe o Comandante De Pablo, ainda que resultava evidente ser este nome tam espanhol um nome de guerra, escolhido para ocultar o seu próprio nome, talvez de difícil pronúncia. Nom sabíamos se era russo, checo ou búlgaro.  (Barreiro, cap. XXXVII da 2ª parte)