équidécomposabilité translative