I think the film you are thinking of with the dolls is Barbarella (1968).
I was telling people at work about this film a few days ago!
I watched it for the first time a few years ago and it has started to become a Christmas tradition for me.
