TD produit scalaire + renommage