He probably didn't really play it but does anybody who he is?
I was wondering that myself. Possibly it was Robert Spindola (1919-1998) who played the part of Juan and would have then been about 8.
He was born in 1929, which would make him 8 at the time the movie was made.