+/** @addtogroup XBT_mallocator
+ * @brief The mallocator system
+ *
+ * This section describes the API to a mallocator.
+ * A mallocator allows you to recycle the objects you don't need anymore
+ * instead of freeing them. A mallocator is a stack which stores the unused objects
+ * or a given type. If you often need to malloc() / free() objects of a certain
+ * type, you should use a mallocator and call \a xbt_mallocator_get() and
+ * \a xbt_mallocator_release() instead of malloc() and free().
+ *
+ * When you release an object, it is not freed but it is stored
+ * into the mallocator (unless the mallocator is full). And when you want to get a
+ * new object, the object is just extracted from the mallocator. No malloc() is
+ * done, unless there is no more object in the mallocator.
+ */
+/** @defgroup XBT_mallocator_cons Mallocator constructor and destructor
+ * @ingroup XBT_mallocator
+ *
+ * @{
+ */
+/** \brief Mallocator data type (opaque structure) */