Update functions.py

Ajout de la fonction extension_ok