#tag/déduction