Trait? de Logique pocketFransk, 2013