Un double point-virgule pas très utile