From 7fb4ab1ba34eb6facb5482ee88c3b9ebe827808d Mon Sep 17 00:00:00 2001
From: Fabien Spindler <Fabien.Spindler@inria.fr>
Date: Mon, 14 Sep 2015 16:26:50 +0000
Subject: [PATCH] Reorganise tags