Comment créer une fonction Bash : principes et exemples pour les développeurs 17 mai 202618 septembre 2025