Sur 1 ’ usage des produits infims dans iathéorie