Qu'est-ce qu'un terminal Linux drop-down et pourquoi en utiliser un ?