السنن الرواتب، ووقتها، وكون سنة الضحى ليست منها

السؤال
قال النبي –صلى الله عليه وسلم-: «من صلى لله ثنتي عشرة ركعة من غير الفريضة، بنى الله له بيتًا في الجنة» إلى آخر الحديث [يُنظر: مسلم: 728]، مــا هي هذه الركعــات؟ ومتى وقتها؟ وهل سُنَّة الضـحى تعتبر منها أم لا؟
الجواب