Conditional : type 0, 1, 2 (if + present, if + past)

Quelle est la structure correcte d'une condition de type 0 (vérité générale) ?