déduisit