Productively sequential spaces
Résumé
We characterize productively sequential spaces, that is, spaces whose product with every strongly sequential space is sequential, equivalently strongly sequential. It turns out that a regular topology is productively sequential if and only if it is sequential and bi-quasi-$k$.