Were both Petar B. Vasilev and René Laloux involved in the film industry?