Le triple de la somme de x et de 13