Tester l'égalité 3c +12 = 2-2c pour c = 4​