La récupération automatique de la mémoire est une caractéristique commune des langages de programmation. Elle offre certes au programmeur des garanties de fiabilité, mais, en éloignant ce dernier des détails de la gestion de la mémoire, elle rend plus difficile la compréhension et, a fortiori, la maîtrise des allocations de mémoire. Dans ce papier, nous présentons les résultats de nos travaux sur l'analyse du comportement mémoire des programmes OCaml. Nous présentons une technique basée sur la modification des en-têtes des blocs permettant de récupérer une information de type partielle sur chaque bloc tout en préservant le même comportement mémoire que le programme original. Ces informations de type sont enrichies ultérieurement par une technique de reconstruction de type par unification. Des algorithmes de graphes peuvent ensuite être appliqués dans le but d'obtenir des informations plus fines. Nous présentons également quelques cas d'usage montrant comment l'utilisation de ces techniques a permis d'optimiser plusieurs logiciels tel que Alt-Ergo et Ocsigen.