Je confirme ce qu'a écrit Zerosquare (donc Godzil a tort), && et || sont bien des points séquence et donc a n'est postincrémenté qu'une fois (et n'est pas référencé ailleurs) par séquence (intervalle entre 2 points séquence) et donc le code est bien défini.