antonio machin stayed in paris until spanish civil war was over