C'est quoi donc cette extension Alea ?

C'est quoi donc cette extension Alea ?