This function was previously called as set_socket_timeout() and later socket_set_timeout() but this usage is deprecated.
Cette fonction était appelée auparavant set_socket_timeout(), et aussi socket_set_timeout() , mais ces appellations sont obsolètes.