[polymorphisme] fonction pour trouver le type d'une variable
	
	
		Bonjour,
je cherche une fonction pour trouver le type d'une variable.
Je voudrait quelque chose du genre
	Code:
	
1 2 3 4 5
   | let le_type (x) = match x with
     | int -> "entier"
     | float -> "flottant"
     | _ -> "indefini"
;; | 
 
Un exemple de l'utilité de cette fonction, pour calculer la valeur absolue de x :
	Code:
	
1 2 3 4 5 6 7 8 9 10 11 12 13 14
   | let abs x =
     if le_type (x) = "entier"
          then
               if x>0
                    then x
                    else -x
          else
               if le_type (x) = "flottant"
                    then
                         if x>0
                              then x
                              else -. x
                    else failwith "erreur"
     ;; | 
 Comme ça j'ai la même fonction pour trouver la valeur absolue d'un entier ou la valeur absolue d'un flottant.