Le shell Bash : cours et pratique