Comment ajouter un header à une GridView sous Android. Utile lorsqu'on veut faire passer le layout sous l'ActionBar pour pouvoir la faire disparaître lorsqu'on scroll.