Juan Pujol García fue un doble agente español, destacando en el éxito del desembarco de Normandía