Stilblüten

[Don Manuel]

Also abgesehen davon, dass der Variante von FranzK eindeutig ein Beistrich fehlt, halte ich beide für etwa gleichwertig.

Jedenfalls gilt für den Konditionalsatz:

Bei den so genannten Bedingungssätzen (Konditionalsätzen) werden im Allgemeinen drei Typen angeführt: Konditionalsatz I (Realis der Gegenwart oder Wahrscheinlichkeit), II (Irrealis der Gegenwart oder Unwahrscheinlichkeit) und III (Irrealis der Vergangenheit oder Unmöglichkeit). Dabei unterscheiden sich die Tempora (Plural von Tempus), d. h. die grammatikalischen Zeiten im Haupt- und im Nebensatz (wenn-Satz), der die Bedingung angibt.