minicart pour virtuemart 4.2.0

[jacky36]

Bonjour
Quelqu' un peut il me renseigner sur un mini'panier pour Virtuemart comme on peut voir sur virtuemart extensions (à droite dans le header) http://extensions.virtuemart.net/
Je ne trouve cela nulle part en telechargement
Merci