I synthesized a small device to test the block-ram inference.
I got a message from XST :
The small RAM will be implemented on LUTs in order to maximize performance and save block RAM resources. If you want to force its implementation on block, use option/constraint ram_style.
However, I don't know where to find this option/constraint either in ISE (11.1 in my case) or in constraint files...
I don't want to use VHDL attributes directly in my code.