Petite histoire du cinéma scientifique / Jean Painlevé, un artiste vulgarisateur (court métrage)