Há quem diga que Pinto da Costa não exista e que é apenas um mito para assustar criancinhas benfiquistas.