And while many examples of true irony can be funny, that is not the driving factor of being ironic.
Alors que beaucoup d'exemples de véritable ironie peuvent être drôles, ce n'est pas le facteur déterminant  dans le fait d'être ironique.