Les fans de Trump réalisent-ils même que leur nouveau héros, Ricky Gervais, le déteste ?