The world’s film critics in 2017 rank the 100 greatest movie comedies of all time ()

BBC Culture asked the world’s film critics to rank the top funny films of all time. What’d they come up with in 2017?