00001 #ifndef _ARITHMETIQUE_H // cf. /*@\S\ref{sec:mul_definition} @*/
00002 #define _ARITHMETIQUE_H
00003 
00004 int produit(int a, int b);
00005 
00006 #endif  // _ARITHMETIQUE_H