Vaya, muchas gracias, The omega man, porque yo me acosté anoche dándole vueltas y se me ocurrió que pudiera ser
Dark Star, la primera película que rodó
John Carpenter y que era una parodia de
2001, Una Odisea del Espacio.
Menos mal que tú has estado más rápido

.
No he visto esa película que decís, pero luego buscaré cómo conseguirla. Lo que sí os recomiendo es la de
Dark Star, aunque como es de 1972 igual va a estar complicado conseguirla en DVD.
Cuando regrese del trabajo miro a ver si se pueden conseguir o no.